Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🧮Programming Language Theory
What is a smooth manifold?
burttotaro.wordpress.com·1d
🧮Programming Language Theory
Hotscript type can't be used to index object
github.com·40m·
Discuss: r/typescript
🧮Programming Language Theory
Rewriting Modulo Traced Comonoid Structure
arxiv.org·1d
⚙Functional Programming
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🧮Programming Language Theory
Free Theory of Computation text
reddit.com·1d·
Discuss: r/compsci
🧮Programming Language Theory
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·5d
⚙Functional Programming
Doing good... best?
lesswrong.com·7h
🔢Mathematical Logic
Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Observability at scale
antithesis.com·11h
🎲Probabilistic Programming
TIL Kurt Gödel, the genius who shook mathematics, died from paranoia and self-starvation
britannica.com·1d·
Discuss: r/todayilearned
🔢Mathematical Logic
The Aneurothymia Spectrum: Divergent Formation of Neurodevelopment
cristinagherghel.substack.com·9h·
Discuss: Substack
🧮Programming Language Theory
Making Illegal States Unrepresentable in Kotlin
dev.to·1d·
Discuss: DEV
⚙Functional Programming
🔗 37 things I learned about information retrieval in two years at a vector database company
yellowduck.be·15h
🗄️Database Theory
Typescript monorepo / ORM hell
reddit.com·4h·
Discuss: r/typescript
📐Type Theory
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·6h
🎲Probabilistic Programming
Macroeconomic Foundation of Monetary Accounting by Diagrams of Categorical Universals
arxiv.org·1d
🧮Programming Language Theory
The power of C++26 reflection: first class existentials
reddit.com·20h·
Discuss: r/cpp
📐Type Theory
Evidence for compositionality in fMRI visual representations via Brain Algebra
nature.com·23h
🗄️Database Theory
What Hugging Face reveals about the data economy of fine-tuning
research.portexai.com·7h·
Discuss: Hacker News
🔗Parser Combinators